<html>
<head><meta charset="utf-8"><title>drafting a new RFC · t-lang/type-ascription · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/index.html">t-lang/type-ascription</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html">drafting a new RFC</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="227162169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227162169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227162169">(Feb 21 2021 at 11:39)</a>:</h4>
<p><span class="user-mention" data-user-id="215333">@Florian Gilcher</span> suggested to me that the original RFC for type ascription is fairly old and that it might be a good idea to produce a new RFC. I think I agree with him. The question is: who will write it =)</p>
<p>cc <span class="user-group-mention" data-user-group-id="1977">@T-lang</span></p>



<a name="227162174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227162174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227162174">(Feb 21 2021 at 11:39)</a>:</h4>
<p>I guess before we get to the "who will write it" question, it'd be good to sketch out an outline of the main points and things to include</p>



<a name="227184212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227184212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> BN <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227184212">(Feb 21 2021 at 18:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Thanks for the review. I could try to update the RFC, if you're strapped for time. Although I think I would need you to help me clarify some things I feel I don't fully understand the intricacies of. I can try to read more into that and write down questions and  we could also use that 30min time slot for clarifying things. I'm in CET time and would prefer doing this in the evening, so anywhere in the range 12-5:30pm in your time would be fine for me, if thats ok for you.</p>



<a name="227787514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227787514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227787514">(Feb 25 2021 at 15:44)</a>:</h4>
<p><span class="user-mention" data-user-id="328097">@BN</span> ok, I've asked the person who manages my schedule to reach out to you and fix a time</p>



<a name="227799209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227799209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227799209">(Feb 25 2021 at 16:53)</a>:</h4>
<p>Some things that should appear in a new RFC: what's the syntax, where can it appear, what is its precedence, how does it affect type inference, what happens if type inference disagrees, how do we expect people to format it, is it "preferred" over turbofish if both work, does it always behave the same as turbofish if applied in a context where either would work...</p>



<a name="227814459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227814459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> BN <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227814459">(Feb 25 2021 at 18:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Ok cool, thanks.</p>



<a name="227814496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227814496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> BN <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227814496">(Feb 25 2021 at 18:33)</a>:</h4>
<p><span class="user-mention" data-user-id="239881">@Josh Triplett</span> Thanks. That's helpful.</p>



<a name="227965695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/227965695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Poliorcetics <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#227965695">(Feb 26 2021 at 17:56)</a>:</h4>
<p><span class="user-mention" data-user-id="328097">@BN</span> I'm currently writing a RFC for named arguments that uses <code>function(public_name: expr)</code>. Up to know I have not found a use case where both would conflict but if you see one don't hesitate to ping me !</p>



<a name="228049137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228049137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228049137">(Feb 27 2021 at 10:31)</a>:</h4>
<p><span class="user-mention" data-user-id="328097">@BN</span> I'll create a hackmd for collaboration on this, ok?</p>



<a name="228049668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228049668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> BN <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228049668">(Feb 27 2021 at 10:41)</a>:</h4>
<p>yes.</p>



<a name="228049774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228049774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> BN <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228049774">(Feb 27 2021 at 10:43)</a>:</h4>
<p><span class="user-mention" data-user-id="307289">@Poliorcetics</span> I think the grammar is ambiguous if you would introduce named arguments in that form.</p>



<a name="228061372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228061372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Poliorcetics <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228061372">(Feb 27 2021 at 14:24)</a>:</h4>
<p>That’s not the case I think, but this is not the thread to discuss it, I’ll PM you <span aria-label="smile" class="emoji emoji-1f642" role="img" title="smile">:smile:</span></p>



<a name="228472745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228472745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228472745">(Mar 02 2021 at 19:44)</a>:</h4>
<p><span class="user-mention" data-user-id="328097">@BN</span> <a href="https://hackmd.io/z1xSHm6VTD6nVzMyqXPtMA">https://hackmd.io/z1xSHm6VTD6nVzMyqXPtMA</a></p>



<a name="228472760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228472760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228472760">(Mar 02 2021 at 19:44)</a>:</h4>
<p>Sorry for being slow :)</p>



<a name="228481424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228481424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> BN <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228481424">(Mar 02 2021 at 20:38)</a>:</h4>
<p>Thanks. Can you roughly say when we will have the sync meeting and when you want the rfc to be finished?  I haven't received an email from your assistant yet btw.</p>



<a name="228484317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228484317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228484317">(Mar 02 2021 at 20:58)</a>:</h4>
<p>oh, hmm, i thought they'd have followed up. let me check on that.</p>



<a name="228484379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228484379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228484379">(Mar 02 2021 at 20:58)</a>:</h4>
<p>I don't have a real time frame in mind</p>



<a name="228484408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269230-t-lang/type-ascription/topic/drafting%20a%20new%20RFC/near/228484408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/269230-t-lang/type-ascription/topic/drafting.20a.20new.20RFC.html#228484408">(Mar 02 2021 at 20:58)</a>:</h4>
<p>I should add this to the planning meeting agenda for tomorrow probably</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>